1. Formal methods :
Author: Flemming Nielson, Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science),Information theory.,Software engineering.,Formal methods (Computer science),Information theory.,Software engineering.
Classification :
QA76
.
9
.
F67
N45
2019
2. ML with concurrency
Author: / Flemming Nielson
Library: Library of College of Science University of Tehran (Tehran)
Subject: ML (Computer program language),Functional programming (Computer science),Parallel programming (Computer science)
Classification :
QA
76
.
73
.
M6
N54
1996
3. ML with concurrency: design, analysis, implementation, and application
Author: Nielson, Flemming
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
M6
.
N54
1996
4. ML with concurrency : design, analysis, implementation, and applications
Author: Flemming Nielson
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، ML )Computer program language(,، Functional programming )Computer science(,، Parallel programming )Computer science(
Classification :
QA
76
.
73
.
M6N5
5. Principles of security and trust :
Author: Flemming Nielson, David Sands (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Data encryption (Computer science), Congresses.,Computer security.,Data encryption (Computer science)
Classification :
QA76
.
9
.
A25
P67
2019eb
6. 28, 2010. Revised Selected Papers-WITS 2010, Paphos, Cyprus,March 27-Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security: Joint Workshop, ARSPA
Author: / Flemming Nielson, Han Gao (auth.), Alessandro Armando, Gavin Lowe (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: ARCHITECTURE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY&COMPUTER SCIENCE, HARDWARE
Classification :
E-BOOK
7. Semantics with applications
Author: / Hanne Riis Nielson and Flemming Nielson
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Programming languages (Electronic computers)--Semantics
Classification :
QA
,
76
.
7
,.
N543
,
2007
8. Two-level functional languages /
Author: Flemming Nielson, Hanne Riis Nielson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Functional programming languages.,génération code.,interprétation abstraite.,lambda calcul.,logique combinatoire.,théorie type.,Functional programming languages.,Functionele talen.,Funktionale Programmiersprache,Funktionale Programmiersprache.,Implementation,Implementierung,Implementierung.,Lambda-calcul.,Langages de programmation fonctionnelle.,Programmation fonctionnelle (informatique)
Classification :
QA76
.
62
.
N54
1992
